BitVisor の vcpu_list_foreach